逻辑推理的优化策略研究

推理是数理逻辑和人工智能中的重要内容,但如何用优化策略实施逻辑推理,仍然是一个尚未引起注意但需解决的问题.将运筹学的优化和图论的基本路径及最短路径的思想应用于逻辑推理,提出若干优化策略,这些策略将有助于在数理逻辑和人工智能中推理的研究.     

Efficient Translation of LTL to Büchi Automata

The construction of Büchi automata from linear temporal logic is a significant step in model check-ing. This paper presents a depth-first construction algorithm to obtain simple Büchi automata from linear-time temporal logic which significantly reduces the sizes of the state spaces. A form-filling algorithm was used to reduce the size of the generated automata and the algorithms were applied directly to state-based Büchi automata, without transformation into transition-based automata. A form-filling algorit...     

基于能量感知的传感网能量中性分簇路由协议

针对能量获取异构的无线传感器网络节点能量利用效率过低和网络无法保证持久运行问题,提出一种基于能量感知的能量中性分簇路由协议,该协议针对太阳能环境下节点获取能量异构的场景,将改进的天气条件移动加权平均算法引入能量收集预测过程,根据获取能量预测构建能量中性约束,在此约束下构建动态簇头集群机制和自适应时隙分配策略,保证了整个网络在能量获取下的持久运行,通过凸优化得到最优的网络分簇数量,最大化了网络数据吞吐量。通过模糊逻辑选择簇头节点,综合节点剩余能量,获取能量预测和节点相对位置等多种因素,提高了簇头选举的合理性。通过仿真分析,该协议能够保持能量获取下网络持久运行,在网络吞吐量和降低簇失败次数方面的性能具有明显优势。     

网络入侵中的模糊区域判断算法

针对当前网络入侵中模糊区域判断算法未考虑算法的自适应及容错性, 判断效率和稳定性均较差的问题, 提出一种基于多层逻辑结构 的网络入侵中模糊区域判断算法. 首先采用基于多层逻辑结构的模糊区域判断算法, 以自适应和容错性作为约束条件, 通过求取算法不同层反馈解, 得到网络入侵中的模糊区域判断结果; 然后基于判断结果, 采用警报合成算法将较多雷同警报合成为一条警报, 以防止形成警报洪流, 获取最佳模糊区域判断结果. 实验结果表明, 该算法的检测率和误报率总平均值分别为9313%和097%, 平均时间为10.13 s, 表明该算法具有显著的网络入侵模糊区域判断优越性.     

考虑数据不确定性的非均匀挖掘算法

针对高维大数据不确定性的非均匀挖掘问题,提出一种基于不确定频繁模式树的模糊逻辑非均匀数据挖掘算法.首先,在考虑数据不确定性的前提下建立高维数据的区域连接演算(RCC)模型,并基于数据集合组元定义分析不确定数据集合的模糊距离;然后,采用不确定模式树对数据的非均匀特性进行均匀泛化处理,并给出了具体的实现步骤.仿真结果表明:文中方法有效地提升不确定非均匀数据集合在不同支持度情况下的挖掘效率.     

基于C/S的校园网MIS应用成分的分布及应用

运用Ｃｌｉｅｎｔ／Ｓｅｒｖｅｒ计算模式并结合校园网教育管理信息系统的设计和开发中的实际情况，对应用成分分布问题作探讨．     

模糊逻辑推理方法在室性早搏检测中的应用研究

尝试用模糊逻辑推理方法模仿人的知识表达和推理过程，进行室性早搏的实时自动检测．用ＭＩＴ心律失常数据库对算法所作的评价结果表明，该算法是异位心搏自动检测的一个有效方法．     

BL_Δ~*系统的完备性

研究了BL*系统和BR0-代数.首先在BL*系统的基础上添加了一元逻辑连接词Δ,得到BL*系统的一种模式扩张BL*Δ系统,随后提出了ΔBR0-代数的概念,其次研究了ΔBR0-代数中的Δ-滤子及其性质,最后证明了BLΔ*系统的完备性,给出了BLΔ*系统的广义演绎定理.     

转向工况下的汽车制动防抱死控制的仿真研究

分析了汽车制动动力学,建立了转向制动工况下四轮仿真模型.进行了未安装防抱死装置(ABS)的转向制动仿真试验,结果表明车轮在制动过程中抱死且侧滑严重.建立了基于加权的纵向滑移率及其变化率和横向滑移率的Mamdani模糊控制器,并进行了转向制动仿真试验.制动距离和制动时间表明ABS不仅能减少制动距离,而且能够保持制动时的方向稳定性,说明基于模糊逻辑的ABS能够显著提高汽车的制动安全性能.     

命题逻辑中几种常见的推理证明方法

数理逻辑是《离散数学》的难点之一．其主要原因是内容比较抽象且方法较独特，加之题型以知识较广的证明题居多．而命题逻辑又是数理逻辑的基础，熟练而灵活地掌握好命题逻辑中推理证明的方法既是学习命题逻辑的重点，又会为进一步学习谓词逻辑打下良好的基础．本文结合适当的例题总结了命题逻辑中几种常见的推理证明方法，以期在帮助学生掌握命题逻辑的推理证明方法的同时，又能对学生进行逻辑思维能力的训练，培养学生分析问题和解决问题的能力．